(module
 (type $FUNCSIG$ii (func (param i32) (result i32)))
 (type $FUNCSIG$viiji (func (param i32 i32 i64 i32)))
 (type $FUNCSIG$viijijiijij (func (param i32 i32 i64 i32 i64 i32 i32 i64 i32 i64)))
 (import "env" "Address" (func $Address (param i32) (result i32)))
 (import "env" "INIT" (func $INIT (param i32 i32 i64 i32)))
 (import "env" "TRANSFER" (func $TRANSFER (param i32 i32 i64 i32 i64 i32 i32 i64 i32 i64)))
 (table 0 anyfunc)
 (memory $0 1)
 (data (i32.const 16) "0x880d84da2bE4D02830b03FF4CF0840924Be6B0A6\00")
 (data (i32.const 64) "0x34d769818cbE989643DCDDf1beCcD04453059229\00")
 (data (i32.const 112) "a balance transfer\00")
 (data (i32.const 144) ".a balance transfer a balance transfer a balance transfer a balance transfer a balance transfer a balance transfer.\00")
 (export "memory" (memory $0))
 (export "init" (func $init))
 (export "transfer" (func $transfer))
 (func $init (; 3 ;) (param $0 i64)
  (local $1 i32)
  (local $2 i32)
  (call $INIT
   (tee_local $1
    (call $Address
     (i32.const 16)
    )
   )
   (tee_local $2
    (call $Address
     (i32.const 64)
    )
   )
   (i64.const 5000)
   (i32.const 112)
  )
  (call $TRANSFER
   (get_local $1)
   (get_local $2)
   (i64.const 5000)
   (i32.const 144)
   (i64.const 100)
   (get_local $1)
   (get_local $2)
   (i64.const 5000)
   (i32.const 144)
   (i64.const 100)
  )
 )
 (func $transfer (; 4 ;)
  (local $0 i32)
  (local $1 i32)
  (call $TRANSFER
   (tee_local $0
    (call $Address
     (i32.const 16)
    )
   )
   (tee_local $1
    (call $Address
     (i32.const 64)
    )
   )
   (i64.const 5000)
   (i32.const 112)
   (i64.const 100)
   (get_local $0)
   (get_local $1)
   (i64.const 5000)
   (i32.const 112)
   (i64.const 100)
  )
 )
)
